منابع مشابه
Avant-propos.
Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...
متن کاملLe dossier numérique au ministère de la Justice
Though the computerization of the processes at the Ministry of Justice has begun, it is not yet appropriate to speak of electronic files. The judicial file within a court is mainly linked to paper and users still appreciate paper files. Nevertheless, a lot of projects are developed in relation with information technologies. This article explains what kind of difficulties arose here and there, c...
متن کاملMoteur de recherche sémantique au sein du dossier du patient informatisé : langage de requêtes spécifique
Information Retrieval (IR) in the Electronic Health Record (EHR) should provide healthcare professionals with the right information to the right person at the right time and place and should reduce the hard tasks of manual information retrieval from papers or from computer. In this context, the objective of this study was to describe the features of a semantic search engine implemented in an EH...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin Amades
سال: 2011
ISSN: 1257-0222,2102-5975
DOI: 10.4000/amades.1218